You have chosen search rpm in world FTP resources.
Not enough search parameters. I'm using defaults.
Display 361 - 400 hits of 1035. Search took 0.00 seconds.

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

Search results for coq :

Filename	Distribution	File size
coq-doc-8.19.2-bp156.68.3.noarch.rpm	OpenSuSE	6495 kB
coq-doc-8.19.2-bp156.68.11.noarch.rpm	OpenSuSE	6495 kB
coq-doc-8.19.2-68.8.noarch.rpm	OpenSuSE	5861 kB
coq-doc-8.19.2-68.51.noarch.rpm	openSUSE Tumbleweed	5861 kB
coq-doc-8.19.2-68.50.noarch.rpm	openSUSE Tumbleweed	5861 kB
coq-doc-8.19.2-68.35.noarch.rpm	OpenSuSE	5861 kB
coq-doc-8.19.2-68.12.noarch.rpm	openSUSE Tumbleweed	5861 kB
coq-doc-8.19.2-1.2.noarch.rpm	OpenSuSE	5861 kB
coq-doc-8.19.2-1.2.noarch.rpm	OpenSuSE	5861 kB
coq-doc-8.19.2-1.2.noarch.rpm	openSUSE Tumbleweed	5861 kB
coq-doc-8.19.2-1.1.noarch.rpm	OpenSuSE	5861 kB
coq-doc-8.19.2-1.1.noarch.rpm	OpenSuSE	5862 kB
coq-doc-8.19.1-bp157.1.6.noarch.rpm	OpenSuSE	6494 kB
coq-doc-8.19.1-bp157.1.5.noarch.rpm	OpenSuSE	6494 kB
coq-doc-8.19.1-bp157.1.3.noarch.rpm	OpenSuSE	6493 kB
coq-doc-8.19.1-bp156.1.14.noarch.rpm	OpenSuSE	6494 kB
coq-doc-8.19.1-bp156.1.1.noarch.rpm	OpenSuSE	6495 kB
coq-doc-8.19.1-1.3.noarch.rpm	OpenSuSE	5891 kB
coq-doc-8.16.1-1.mga9.noarch.rpm	Mageia Cauldron	4120 kB	Info
coq-doc-8.16.1-1.mga9.noarch.rpm	Mageia 9	4120 kB	Info
coq-doc-8.16.0-1.fc37.noarch.rpm	Fedora 37	10191 kB
coq-doc-8.15.1-1.fc36.noarch.rpm	Fedora 36	9419 kB	Info
coq-doc-8.13.2-bp155.2.5.x86_64.rpm	openSUSE Leap 15	8967 kB
coq-doc-8.13.2-bp155.2.13.x86_64.rpm	OpenSuSE	8968 kB	Info
coq-doc-8.13.2-bp155.2.13.s390x.rpm	OpenSuSE	8969 kB
coq-doc-8.13.2-bp155.2.13.ppc64le.rpm	OpenSuSE	8968 kB
coq-doc-8.13.2-bp155.2.13.aarch64.rpm	OpenSuSE	8968 kB
coq-doc-8.13.2-bp155.2.1.armv7hl.rpm	OpenSuSE	8968 kB
coq-doc-8.13.2-bp154.1.44.x86_64.rpm	OpenSuSE	8968 kB	Info
coq-doc-8.13.2-bp154.1.44.s390x.rpm	OpenSuSE	8967 kB
coq-doc-8.13.2-bp154.1.44.ppc64le.rpm	OpenSuSE	8967 kB
coq-doc-8.13.2-bp154.1.44.aarch64.rpm	OpenSuSE	8967 kB
coq-doc-8.13.2-bp154.1.1.armv7hl.rpm	OpenSuSE	8969 kB
coq-doc-8.13.2-3.fc35.noarch.rpm	Fedora 35	10452 kB	Info
coq-doc-8.13.2-1.fc34.noarch.rpm	Fedora 34	10320 kB	Info
coq-doc-8.13.1-1.fc34.noarch.rpm	Fedora 34	10317 kB	Info
coq-doc-8.12.2-1.fc33.noarch.rpm	Fedora 33	7181 kB	Info
coq-doc-8.12.0-3.fc33.1.noarch.rpm	Fedora 33	7153 kB	Info
coq-doc-8.11.2-1.fc32.noarch.rpm	Fedora 32	12601 kB	Info
coq-doc-8.11.0-4.mga8.noarch.rpm	Mageia 8	2168 kB	Info

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20